https://www.passeidireto.com/pergunta/136123056/uma-sentenca-logicamente-equivalente-a-sentenca-dada-e-a-joao-nao-gosta-de-goiab